Default Reasoning

Complexity of Default Logic on Generalized Conjunctive Queries

Universal Algebra / Nonmonotonic Reasoning / Default Logic / Default Reasoning